D’Aden à Zafar: Villes d’Arabie du sud préislamique. By Jérémie Schiettecatte. Orient & Méditeranée, Archéologie, vol. 6. Paris: De Boccard, 2011. Pp. 372, illus. €64.

Theorems in automated theorem proving are usually proved by formal logical proofs. However, there is a subset of problems which humans can prove by the use of geometric operations on diagrams, so called diagrammatic proofs. Insight is often more clearly perceived in these proofs than in the corresponding algebraic proofs; they capture an intuitive notion of truthfulness that humans find easy to see and understand. We are investigating and automating such diagrammatic reasoning about mathematical theorems. Concrete, rather than general diagrams (...) are used to prove particular concrete instances of the universally quantified theorem. The diagrammatic proof is captured by the use of geometric operations on the diagram. These operations are the inference steps of the proof. An abstracted schematic proof of the universally quantified theorem is induced from these proof instances. The constructive -rule provides the mathematical basis for this step from schematic proofs to theoremhood. In this way we avoid the difficulty of treating a general case in a diagram. One method of confirming that the abstraction of the schematic proof from the proof instances is sound is proving the correctness of schematic proofs in the meta-theory of diagrams. These ideas have been implemented in the system, called Diamond, which is presented here. (shrink)

This volume offers new perspectives on some better known authors such as Mary Wollstonecraft, Catharine Macaulay, and Anna Laetitia Barbauld, as well as neglected figures from the British Isles and continental Europe. The collection advances discussion of how best to understand women’s political contributions during the period, the place of salon sociability in the political development of Europe, and the interaction between discourses on slavery and those on women’s rights. It will interest scholars and researchers working in women’s intellectual history (...) and Enlightenment thought and serve as a useful adjunct to courses in political theory, women’s studies, the history of feminism, and European history. (shrink)

We examine a distinctive kind of problem for decision theory, involving what we call discontinuity at infinity. Roughly, it arises when an infinite sequence of choices, each apparently sanctioned by plausible principles, converges to a ‘limit choice’ whose utility is much lower than the limit approached by the utilities of the choices in the sequence. We give examples of this phenomenon, focusing on Arntzenius et al.’s Satan’s apple, and give a general characterization of it. In these examples, repeated dominance reasoning (...) (a paradigm of rationality) apparently gives rise to a situation closely analogous to having intransitive preferences (a paradigm of irrationality). Indeed, the agents in these examples are vulnerable to a money pump set-up despite having preferences that exhibit no obvious defect of rationality. We explore several putative solutions to such problems, particularly those that appeal to binding and to deliberative dynamics. We consider the prospects for these solutions, concluding that if they fail, the examples show that money pump arguments are invalid. (shrink)

Some patients with damaged striate cortex have blindsight-the ability to discriminate unseen stimuli in their clinically blind visual field defects when forced-choice procedures are used. Blindsight implies a sharp dissociation between visual performance and visual awareness, but signal detection theory indicates that it might be indistinguishable from the behavior of normal subjects near the lower limit of conscious vision, where the dissociations could arise trivially from using different response criteria during clinical and forced-choice tests. We tested the latter possibility with (...) a hemianopic subject during yes-no and forced-choice detection of static and moving targets. His response criterion differed significantly between yes-no and forced-choice responding, and the difference was sufficient to produce a blindsight-like dissociation with bias-sensitive measures of performance. When measured independently of bias, his sensitivity to static targets was greater in the forced-choice than in the yes-no task (unlike normal control subjects), but his sensitivity to moving targets did not differ. Differences in response criterion could therefore account for dissociations between yes-no and forced-choice detection of motion, but not of static pattern. The results explain why patients with blindsight are apparently more often ''aware'' of moving stimuli than of static stimuli. However, they also imply that blindsight is unlike normal vision near threshold, and that pattern- and motion-detection in blindsight may depend on different sets of neural mechanisms during yes-no and forced-choice tests. (shrink)

This article investigates the challenge of developing a robot capable of determining if a social situation demands trust. Solving this challenge may allow a robot to react when a person over or under trusts the system. Prior work in this area has focused on understanding the factors that influence a person’s trust of a robot. In contrast, by using game-theoretic representations to frame the problem, we are able to develop a set of conditions for determining if an interactive situation demands (...) trust. In two separate experiments, human subjects were asked to evaluate either written narratives or mazes in terms of whether or not they require trust. The results indicate a _Φ_1= +0.592 and _Φ_2 = +0.406 correlation respectively between the subjects’ evaluations and the condition’s predictions. This is a strong correlation for a study involving human subjects. (shrink)

This article investigates the challenge of developing a robot capable of determining if a social situation demands trust. Solving this challenge may allow a robot to react when a person over or under trusts the system. Prior work in this area has focused on understanding the factors that influence a person’s trust of a robot (Hancock, et al., 2011). In contrast, by using game-theoretic representations to frame the problem, we are able to develop a set of conditions for determining if (...) an interactive situation demands trust. In two separate experiments, human subjects were asked to evaluate either written narratives or mazes in terms of whether or not they require trust. The results indicate aΦ1= +0.592 andΦ2= +0.406 correlation respectively between the subjects’ evaluations and the condition’s predictions. This is a strong correlation for a study involving human subjects. (shrink)

This article investigates the challenge of developing a robot capable of determining if a social situation demands trust. Solving this challenge may allow a robot to react when a person over or under trusts the system. Prior work in this area has focused on understanding the factors that influence a person’s trust of a robot (Hancock, et al., 2011). In contrast, by using game-theoretic representations to frame the problem, we are able to develop a set of conditions for determining if (...) an interactive situation demands trust. In two separate experiments, human subjects were asked to evaluate either written narratives or mazes in terms of whether or not they require trust. The results indicate aΦ1= +0.592 andΦ2= +0.406 correlation respectively between the subjects’ evaluations and the condition’s predictions. This is a strong correlation for a study involving human subjects. (shrink)

A comparison of the literatures on how infants represent generic object classes, gender and race information in faces, and emotional expressions reveals both common and distinctive developments in the three domains. In addition, the review indicates that some very basic questions remain to be answered regarding how infants represent facial displays of emotion, including (a) whether infants form category representations for discrete classes of emotion, (b) when and how such representations come to incorporate affective meaning, (c) the developmental trajectory for (...) representation of emotional expression at different levels of inclusiveness (i.e., from broad to narrow or narrow to broad?), and (d) whether there is superior discrimination ability operating within more frequently experienced emotion categories. (shrink)

A comparison of the literatures on how infants represent generic object classes, gender and race information in faces, and emotional expressions reveals both common and distinctive developments in the three domains. In addition, the review indicates that some very basic questions remain to be answered regarding how infants represent facial displays of emotion, including (a) whether infants form category representations for discrete classes of emotion, (b) when and how such representations come to incorporate affective meaning, (c) the developmental trajectory for (...) representation of emotional expression at different levels of inclusiveness (i.e., from broad to narrow or narrow to broad?), and (d) whether there is superior discrimination ability operating within more frequently experienced emotion categories. (shrink)

This paper discusses the work of the Einstein's Brain Project and its representations of a dynamic world through the production of technologically sustained realities and recursive cognitive systems examining bio-electrical fields. These augmented realities combine the languages of art, science and technology, and the new structures of hypermorphism - the ever morphing, ever changing object, and the parallaxic remix - the ever moving contextual eye -to reveal the invisible elements of biological existence and the dynamics of living systems.

Given that there is referential uncertainty (noise) when learning words, to what extent can forgetting filter some of that noise out, and be an aid to learning? Using a Cross Situational Learning model we find a U-shaped function of errors indicative of a “Goldilocks” zone of forgetting: an optimum store-loss ratio that is neither too aggressive or too weak, but just the right amount to produce better learning outcomes. Forgetting acts as a high-pass filter that actively deletes (part of) the (...) referential ambiguity noise, retains intended referents, and effectively amplifies the signal. The model achieves this performance without incorporating any specific cognitive biases of the type proposed in the constraints and principles account, and without any prescribed developmental changes in the underlying learning mechanism. Instead we interpret the model performance as more of a by-product of exposure to input, where the associative strengths in the lexicon grow as a function of linguistic experience in combination with memory limitations. The result adds a mechanistic explanation for the experimental evidence on spaced learning and, more generally, advocates integrating domain-general aspects of cognition, such as memory, in to the language acquisition process. (shrink)

The rural health context in the United States presents unique ethical challenges to its approximately 60 million residents, who represent about one quarter of the overall population and are distributed over three-quarters of the country’s land mass. The rural context is not only identified by the small population density and distance to an urban setting but also by a combination of social, religious, geographical, and cultural factors. Living in a rural setting fosters a sense of shared values and beliefs, a (...) strong work ethic, self-reliance, and a tendency for close-knit extended social structures where overlapping relationships are commonplace. (shrink)

We present evidence from a pre-registered experiment indicating that a philosophical argument––a type of rational appeal––can persuade people to make charitable donations. The rational appeal we used follows Singer’s well-known “shallow pond” argument (1972), while incorporating an evolutionary debunking argument (Paxton, Ungar, & Greene 2012) against favoring nearby victims over distant ones. The effectiveness of this rational appeal did not differ significantly from that of a well-tested emotional appeal involving an image of a single child in need (Small, Loewenstein, and (...) Slovic 2007). This is a surprising result, given evidence that emotions are the primary drivers of moral action, a view that has been very influential in the work of development organizations. We did not find support for our pre-registered hypothesis that combining our rational and emotional appeals would have a significantly stronger effect than either appeal in isolation. However, our finding that both kinds of appeal can increase charitable donations is cause for optimism, especially concerning the potential efficacy of well-designed rational appeals. We consider the significance of these findings for moral psychology, ethics, and the work of organizations aiming to alleviate severe poverty. (shrink)

The book investigates distinctions between independent individuality and interactive relationality in physical phenomena. This is a common topic for investigation in modern physics and philosophy of science, and the topic is explored using contemporary research in those disciplines. Additionally, it is common for Buddhism to focus on relationships, and it proposes that independent individual things do not exist. In the context of physical reality, I take this Buddhist view as a hypothesis and examine it critically. We evaluate its arguments and (...) find them generally to be problematic when evaluated against modern standards for logic and physics. However, its fundamental principle—emptiness, or shunyata—is still worthy of being tested. -/- Contrary to many books on Buddhism and science, this one takes a very positive view of science. Yet, this depends on how we define ‘science’. Hence, the book begins with an examination of that topic, informed by philosophy of science and the author’s experience and training as physicist and philosopher. While we discuss, explain and justify many standard views of science, and present the standard elements of science, physics and physics theories, the book argues extensively for one perspective: pluralism in a synthesis of the author’s design. -/- I will show shunyata to be quite consistent with the knowledge framework of Physics Pluralism. When we test Buddhist emptiness against the results of physics—interpreting both within that knowledge framework—we discover the relevance, importance, and some truth in the relationality ideas of shunyata. -/- Robert Alan Paul has studied physics, had a career as a physicist, and both studied and practiced Tibetan Buddhism. He holds a bachelor’s degree in physics, and separate master’s degrees in philosophy; philosophy of science & mathematics; and physics (abd). He holds an interdisciplinary Ph.D. in four disciplines: philosophy of science, Western analytic metaphysics, Buddhist philosophy, and physics. His Ph.D. dissertation was the foundation of this book. (shrink)

Expands the horizons of Jewish virtue ethics, demonstrating how central virtue has been to the history of Jewish ethics.

This article examines the impact of female leadership on corporate social responsibility (CSR) practices in publicly traded corporations. Our analysis finds that female leadership matters. For example, female leadership at the board level increases the likelihood of having a female CEO and the overall percentage of women executives in firms. The study measures CSR practices using the Thomson Reuters corporate responsibility ratings (TRCRR) from the Thomson Reuters ASSET4 database for 1242 firms over a 7-year period, from 2009 to 2015. Panel (...) regression estimates indicate that board gender diversity (BGD) has a positive impact on CSR, while two other measures of female leadership (presence of female CEO and percentage of female executives) were largely insignificant. We perform our analysis in the context of upper echelons theory and expand on recent studies of the impact of female leadership on CSR practices by using a different and a larger data set than previous research studies. (shrink)

Contribution to a symposium on Alan Chalmer's The Scientist’s Atom and the Philosopher’s Stone: How Science Succeeded and Philosophy Failed to Gain Knowledge of Atoms (Springer, Dordrecht, 2009).

The question 'Why should I obey the law?' introduces a contemporary puzzle that is as old as philosophy itself. The puzzle is especially troublesome if we think of cases in which breaking the law is not otherwise wrongful, and in which the chances of getting caught are negligible. Philosophers from Socrates to H.L.A. Hart have struggled to give reasoned support to the idea that we do have a general moral duty to obey the law but, more recently, the greater number (...) of learned voices has expressed doubt that there is any such duty, at least as traditionally conceived. (shrink)

Learner-centered pedagogy defines successful teaching in terms of student learning—and a necessary condition of learning is the motivation to learn. The purpose of this paper is to provide learner-centered teachers with the basic information they need in order to be able to successfully motivate their students. In particular, I focus on three beliefs that are important to students’ motivation to learn: beliefs about the subjective value of the learning goals; beliefs about their ability to achieve these goals; beliefs about how (...) well their learning environment supports their learning. I provide concrete suggestions about how we can strengthen these beliefs to increase student motivation. One important implication of the relevant research is that the traditional motivator—the desire for good grades—can be relatively ineffective and, in fact, counterproductive. (shrink)

Linda Krieger's paper in this volume relies on the concepts of "equal" and "special" rights, and I focus my attention upon the bivalent view of equality which justifies the creation of special rights. Krieger argues, I point out, that equality of effect is a fundamentally more just consideration than equality of treatment, and special rights allow disadvantaged groups to achieve this equality of effect.

What does it mean to consider the world of AI through a Christian lens? Rapid developments in AI continue to reshape society, raising new ethical questions and challenging our understanding of the human person. Encountering Artificial Intelligence draws on Pope Francis’ discussion of a culture of encounter and broader themes in Catholic social thought in order to examine how current AI applications affect human relationships in various social spheres and offers concrete recommendations for better implementation. The document also explores questions (...) regarding personhood, consciousness, and the kinds of relationships humans might have with even the most advanced AI. Through these discussions, this book investigates the theoretical and practical challenges to interpersonal encounter raised by the age of AI. (AI Research Group for the Centre for Digital Culture of the Dicastery of Culture and Education of the Holy See). (shrink)